Remote Access to a Symbolic Computation System for Algebraic Topology: A Client-Server Approach
نویسندگان
چکیده
Kenzo is a Symbolic Computation system created by Sergeraert for computing in Algebraic Topology. It is programmed in Common Lisp and this programming language also acts as user interface. In this paper, a prototype to provide remote access for Kenzo is presented. This has been accomplished by using Corba technology: clients have been developed both in Java and Common Lisp (the server is always in Common Lisp, being a wrapper of the original Kenzo program). Instead of using one CORBA IDL to encode each data structure, our approach incorporates a generic way of transfering every data structure through XML strings; specifically, by means of an XML extension of MathML. This research should be understood as a first step towards building a distributed computation system for Algebraic Topology.
منابع مشابه
Linear Contexts and the Sharing Functor: Techniques for Symbolic Computation
We present in this paper two design issues concerning fundamental representation structures for symbolic and logic computations. The first one concerns structured editing, or more generally the possibly destructive update of tree-like data-structures of inductive types. Instead of the standard implementation of mutable data structures containing references, we advocate the zipper technology, fu...
متن کاملA customizable GUI through an OMDoc documents repository
Kenzo is a Symbolic Computation System devoted to Algebraic Topology. In some previous works we presented a framework wrapping Kenzo providing a mediated access to Kenzo making its use easier. In this work, a particular client of this framework is presented, namely a Graphical User Interface. By means of an OMDoc documents repository, this Graphical User Interface is totally customizable. Besid...
متن کاملGeneric Access to Symbolic Computing Services
Symbolic computation is one of the computational domains that requires large computational resources. Computer Algebra Systems (CAS), the main tools used for symbolic computations, are mainly designed to be used as software tools installed on standalone machines that do not provide the required resources for solving large symbolic computation problems. In order to support symbolic computations ...
متن کاملSeparating indexes from data: a distributed scheme for secure database outsourcing
Database outsourcing is an idea to eliminate the burden of database management from organizations. Since data is a critical asset of organizations, preserving its privacy from outside adversary and untrusted server should be warranted. In this paper, we present a distributed scheme based on storing shares of data on different servers and separating indexes from data on a distinct server. Shamir...
متن کاملTowards a Web-based Progressive Handwriting Recognition Environment for Mathematical Problem Solving
The emergence of pen-based mobile devices such as PDAs and tablet PCs provides a new way to input mathematical expressions to computer by using handwriting which is much more natural and efficient for entering mathematics. This paper proposes a web-based handwriting mathematics system, called WebMath, for supporting mathematical problem solving. The proposed WebMath system is based on client-se...
متن کامل